Automated reasoning is a subfield of artificial intelligence and mathematical logic concerned with developing computer programs that can perform logical deduction and inference. It investigates methods for automatically deriving conclusions from given information, constructing formal proofs, and checking the validity of logical statements, aiming to automate aspects of human reasoning and formal verification.